Language of mathematics

Results: 1871



#Item
401Mathematics / Logical syntax / Propositional calculus / Statements / Graphplan / Planning Domain Definition Language / STRIPS / Function / Propositional formula / Automated planning and scheduling / Artificial intelligence / Logic

Recent Advances in AI Planning Daniel S. Weld Department of Computer Science & Engineering University of Washington, BoxSeattle, WA 98195{2350 USA

Add to Reading List

Source URL: www.cs.toronto.edu

Language: English - Date: 2002-02-04 15:45:48
402Semantics / Mathematics / Predicate logic / Formal languages / Sentence / Model theory / Regular expression / Interpretation / Cross-validation / Logic / Mathematical logic / Quantification

Statistical resolution of scope ambiguity in natural language Galen Andrew and Bill MacCartney 4 March

Add to Reading List

Source URL: nlp.stanford.edu

Language: English - Date: 2004-05-23 15:14:14
403Semantics / Computational linguistics / Natural language processing / Linear algebra / Lexical semantics / Word-sense disambiguation / Word-sense induction / Vector space model / Prototype theory / Algebra / Linguistics / Mathematics

Dynamic and Static Prototype Vectors for Semantic Composition Siva Reddy University of York, UK Ioannis P. Klapaftis

Add to Reading List

Source URL: www.aclweb.org

Language: English - Date: 2011-10-06 20:55:25
404Theoretical computer science / Combinatorics / Pattern matching / Regular expression / Matching / Substring / String / Regular language / Approximate string matching / Formal languages / Automata theory / Mathematics

CPMPrefix-Free Regular-Expression Matching Yo-Sub Han∗ , Yajun Wang and Derick Wood Department of Computer Science

Add to Reading List

Source URL: www.cs.ucr.edu

Language: English - Date: 2005-07-08 16:23:53
405Scientific modeling / Computer algebra systems / Operations research / Mathematical modeling / Mathematical optimization / Mathematical model / Modeling language / Algebraic modeling language / Economic model / Science / Mathematics / Ethology

Intelligent Mathematical Programming Software: Past, Present, and Future* (* This article appears concurrently in the Spring issue of the INFORMS Computing Society Newsletter) JOHN W. CHINNECK HARVEY J. GREENBERG

Add to Reading List

Source URL: www.cors.ca

Language: English - Date: 2014-12-10 12:15:05
406Education / Common Core State Standards Initiative / Washington State Office of Superintendent of Public Instruction / Education reform / Education in Washington / State governments of the United States

The Common Core State Standards for English Language Arts and Mathematics: Analysis and Recommendations

Add to Reading List

Source URL: k12.wa.us

Language: English - Date: 2011-02-01 19:40:10
407Applied mathematics / Nondeterministic finite automaton / Regular expression / Deterministic finite automaton / Regular language / Preorder / Generalized nondeterministic finite automaton / ReDoS / Automata theory / Theoretical computer science / Computer science

Reducing the size of NFAs by using equivalences and preorders L UCIAN I LIE ROBERTO S OLIS -O BA

Add to Reading List

Source URL: www.cs.ucr.edu

Language: English - Date: 2005-07-08 16:23:57
408Covariance and contravariance / Mathematical sciences / Mathematics / Applied mathematics / Data analysis / Probability theory / Variance

Non-GMO Project Standard – summary of version 11 changes Changed language in Sectionso that it requires verification of things like tea bags. Deleted “to produce a novel material” from SectionAd

Add to Reading List

Source URL: www.nongmoproject.org

Language: English - Date: 2014-07-03 13:30:21
409Mathematics / Negation / Rhetoric / Boolean algebra / Double negative / Language / Logic programming / Yes and no / Grammar / Semantics / Linguistics

Negative Concord in Georgian Aurore González Harvard University Negative Concord (NC) is a phenomenon refering to cases where multiple occurrences of morphologically negative constituents express semantically a single n

Add to Reading List

Source URL: eastcoastfive.files.wordpress.com

Language: English - Date: 2015-03-24 10:40:03
410mathematics education / University of Hong Kong / E-learning / Lesson study / Education / Knowledge / International Congress on Mathematical Education

Language Policy and Practice Research Seminar Series: What can be learned? An analysis of a Shanghai lesson Dr Ida Mok (Division of Mathematics and Science Education) 17 FebruaryTuesday) 12:45 – 14:00 Room 205,

Add to Reading List

Source URL: web.edu.hku.hk

Language: English - Date: 2015-02-09 23:24:17
UPDATE